21. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
22. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
23. Forcing idealized
پدیدآورنده : Zapletal, Jind۸rich
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z37
2008
24. Forcing idealized
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z34F6
25. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
26. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
27. Intuitionistic logic, modlel theory and forcing
پدیدآورنده : / Melvin Chris Fitting
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Model theory,Axiomatic set theory
رده :
511
.
8
F547
28. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
29. Media theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;
30. Media theory: interdisciplinary applied mathematics
پدیدآورنده : Eppstein, David
کتابخانه: (Semnan)
موضوع : ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
رده :
QA
9
.
7
.
M43
2008
31. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
32. Models and sets: Proceedings of the Logic Colloquom held in Aachen, July 18-23, 1983.
پدیدآورنده : Edited by F.H. Muller and M.M. Richter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Model bibliographies,Congresses` ، Set theory
رده :
QA
3
.
L28
no
.
1103-1104
33. Models and sets; Proceedings of the logic calloquium held in Aachen, July 18-23. 1983 Part 1
پدیدآورنده : edited by G.H. Muller and M.M. Richter
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Model theory,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
1103
34. Norms on possibilities I : forcing with trees and creatures
پدیدآورنده : Roslanowski, Andrzej, 0691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
3
.
A475
no
.
671
35. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
36. Proper and improper forcing
پدیدآورنده : Shelah, Saharon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
9
.
7
.
S54
1998
37. Proper forcing
پدیدآورنده : Shelah, Saharon.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
1
.
L4
v
.
940
38. Proper forcing
پدیدآورنده : Shelah, Saharon
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,Forcing )Model theory(
رده :
QA
3
.
L28
no
.
940
39. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
40. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده : Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
